Перевод: со всех языков на немецкий

с немецкого на все языки

(demonstrate correctness of)

См. также в других словарях:

  • metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …   Universalium

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Global serializability — In concurrency control of databases, transaction processing (transaction management), and other transactional distributed applications, Global serializability (or Modular serializability) is a property of a global schedule of transactions. A… …   Wikipedia

  • Software testing — is an empirical investigation conducted to provide stakeholders with information about the quality of the product or service under test [ [http://www.kaner.com/pdfs/ETatQAI.pdf Exploratory Testing] , Cem Kaner, Florida Institute of Technology,… …   Wikipedia

  • Invention of radio — Great Radio Controversy redirects here. For the album by the band Tesla, see The Great Radio Controversy. Contents 1 Physics of wireless signalling 2 Theory of electromagnetism …   Wikipedia

  • historiography — historiographic /hi stawr ee euh graf ik, stohr /, historiographical, adj. historiographically, adv. /hi stawr ee og reuh fee, stohr /, n., pl. historiographies. 1. the body of literature dealing with historical matters; histories collectively. 2 …   Universalium

  • Islāmic world — Introduction  prehistory and history of the Islamic community.       Adherence to Islām is a global phenomenon: Muslims predominate in some 30 to 40 countries, from the Atlantic to the Pacific and along a belt that stretches across northern… …   Universalium

  • Dynamic systems development method — Model of the DSDM Atern project management method …   Wikipedia

  • George Hermes —     George Hermes     † Catholic Encyclopedia ► George Hermes     Philosopher and theologian, b. at Dreierwalde near Theine (Westphalia), 22 April, 1775; d. at Bonn on the Rhine, 26 May 1831. After completing his course in the gymnasium, or high… …   Catholic encyclopedia

  • Philosophical Investigations — This article is about the philosophy of Wittgenstein. For other uses of Philosophical Investigation or Philosophical Investigations, see Philosophical Investigations (disambiguation). Philosophical Investigations   …   Wikipedia

  • Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»